git clone https://github.com/Z3Prover/z3
cd z3
python scripts/mk_make.py --python
cd build
make
sudo make install
cd ../..

